قضایای ناتمامیت گودل و راسر
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضی و کامپیوتر
- author مهرنوش صحاحی
- adviser سعید صالحی پور مهر هژیر حومئی
- publication year 1395
abstract
در این پایاننامه، اثبات های جدیدی از قضیه ناتمامیت که در دهه 1990 به دست آمده اند، ارایه می شود، به طوری که در آن ها از لم قطری سازی برای ساختن یک جمله مستقل استفاده نمی شود.
similar resources
آیا قضایای ناتمامیت گودل را می‌توان در مکانیک کوانتومی به‌کاربرد؟
مکانیک کوانتومی نظریه ای است که ساختار فکری بشر را دگرگون کرد. اما با وجود موفقیت ها ی زیاد آن از زمان اینشتین تاکنون عده ای در مورد کامل بودن آن دارای شک ، تردید و شبهه هستند. یکی از راه هایی که عده ای کامل بودن این نظریه را مورد تردید قرار می دهند قضایای ناتمامیت گودل است. کورت گودل در دوران دکترا و اندکی پس از تحقیق در مورد برنامه های تمامیت و سازگاری هیلبرت در سیستم های صوری، به اثبات دو ق...
full textقضیة ناتمامیت گودل و فلسفة ذهن
یکی از کاربردهای اساسی قضایای ناتمامیت گودل در فلسفه، نقش آن‌ها در استدلال‌هایی است که بین ذهن انسان از یک طرف و یک الگوریتم (ماشین) یا نظام صوری متناهی از طرف دیگر مقایسه به عمل می‌آورند. دو استدلال متمایز در این زمینه مطرح گشته است. در هر دو استدلال درک صدق جملة گودل توسط انسان، به عنوان ملاکی برای تفوق بر هر ماشینی قلمداد شده است. اما ایرادهایی چند بر هر دو استدلال وارد است. در این مقاله با ...
full textقضیه ناتمامیت گودل و فلسفه ذهن
یکی از کاربردهای اساسی قضایای ناتمامیت گودل در فلسفه، نقش آن ها در استدلال هایی است که بین ذهن انسان از یک طرف و یک الگوریتم (ماشین) یا نظام صوری متناهی از طرف دیگر مقایسه به عمل می آورند. دو استدلال متمایز در این زمینه مطرح گشته است. در هر دو استدلال درک صدق جمله گودل توسط انسان، به عنوان ملاکی برای تفوق بر هر ماشینی قلمداد شده است. اما ایرادهایی چند بر هر دو استدلال وارد است. در این مقاله با ...
full textبرنامه هیلبرت و ناتمامیت گودل
همانطور که از نام این پایان نامه پیداست، تلاش شده است برنامه هیلبرت، که از معروف ترین و موثرترن برنامه های پی گیری شده ی ریاضیات در قرون اخیر است، یعنی صورتگرایی متناهی گرایانه معرفی شده، و فرجام کار آن که در قضایای ناتمامیت گودل نمود می یابند معرفی، اثبات و توجیه شوند. برنامه هیلبرت در پی برنامه هایی همچون منطق گرایی و شهودگرایی و به منظور نشان دادن برائت ریاضیات از هرگونه شک و تردیدی بود. در ...
پیامدهای فلسفی قضایای گودل
در این مقاله ، تاثیرات قضایای ناتمامیت اول و دوم گودل ، پس از تبیینی کوتاه ، در برخی فلسفه های مضاف ، از جمله فلسفه ی ریاضیات و فلسفه ی ذهن ، و نیز بر علیه مادی گرایی و پوزیتیویسم مورد بررسی و تحلیل قرار گرفته است. تاثیر قضایای گودل در فلسفه ی ریاضیات ، در سه حوزة منطق گرایی ، صورت گرایی و سرشت برهان بررسی شده است. در حوزه ی فلسفه ی ذهن ، به تاثیر قضایای گودل در براهین ضد ماشین انگا...
full textقضیه ناتمامیت گودل و پیامدهای فلسفی آن
ابتدا با عنوان "مقدمات قضایای ناتمامیت گودل" ، تعاریفی از بیان پذیری ، نمایش پذیری ، محاسبه پذیری ، توابع بازگشتی اولیه ، توابع بازگشتی ، تابع مشخصه و چند تابع مهم دیگر که در اثبات لم نقطه ثابت مورد نیاز است ، ارائه خواهد شد . سپس با بررسی این توابع ، هم ارزی رابطه بین بازگشتی و بیان پذیری مطرح می شود . در فصل اول ،اصول موضوعه دستگاه های نظریه صوری اعداد حساب و نظریه مجموعه ها ، معرفی ؛ وتلاش ه...
My Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضی و کامپیوتر
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023